Issue2047.agda:26,9-22
F _P_27 n != (λ { (valSuc _) → anything }) anything of type Set
when checking that the inferred type of an application
  Any (F _P_27)
matches the expected type
  Any (LR n)
